Methods for assessing the safety of industrial automation systems
نویسندگان
چکیده
منابع مشابه
Security for Industrial Automation and Control Systems
The security of industrial automation and control systems becomes increasingly critical as different networks are connected and systems are integrated in a collaborative manufacturing environment. For industrial automation and control systems the potential impact of an attack may be more serious than for computer systems in general. Users of industrial automation and control systems need to pay...
متن کاملStatic Analysis for Industrial Automation Systems
Static analysis is a highly successful measure when applied in software development. However, there is a lack of corresponding methods and tools in context of industrial automation systems. In this talk we give an overview of different applications of static analysis and the opportunities they provide for software development in industrial automation.
متن کاملTowards Sustainable Industrial Automation Systems
We identified a set of open issues in the context of software aging and long-living systems with respect to the application domain of industrial automation systems, e.g. process control [7] and SCADA (supervisory control and data acquisition) systems. Existing systems in the automation domain suffer from expensive evolution and maintenance as well as from long release cycles. One of the root ca...
متن کاملClassification of Safety Requirements for Formal Verification of Software Models of Industrial Automation Systems
By use of formal methods the trust in the safe function of software can be increased. But the use of formal methods in practical software development is rare. One of the reasons is difficulties arising from formal specification of safety requirements. In this paper characteristics of safety requirements of software models of industrial automation systems are analysed by classifying these requir...
متن کاملconditional copula-garch methods for value at risk of portfolio: the case of tehran stock exchange market
ارزش در معرض ریسک یکی از مهمترین معیارهای اندازه گیری ریسک در بنگاه های اقتصادی می باشد. برآورد دقیق ارزش در معرض ریسک موضوع بسیارمهمی می باشد و انحراف از آن می تواند موجب ورشکستگی و یا عدم تخصیص بهینه منابع یک بنگاه گردد. هدف اصلی این مطالعه بررسی کارایی روش copula-garch شرطی در برآورد ارزش در معرض ریسک پرتفویی متشکل از دو سهام می باشد و ارزش در معرض ریسک بدست آمده با روشهای سنتی برآورد ارزش د...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
سال: 2018
ISSN: 2450-7725,1509-5878
DOI: 10.24136/atest.2018.375